K3 surfaces over number fields with geometric Picard number one
نویسنده
چکیده
A long-standing question in the theory of rational points of algebraic surfaces is whether a K3 surface X over a number field K acquires a Zariski-dense set of L-rational points over some finite extension L/K. In this case, we say X has potential density of rational points. In case XC has Picard rank greater than 1, Bogomolov and Tschinkel [2] have shown in many cases that X has potential density of rational points, using the existence of elliptic fibrations on X or large automorphism groups of X. By contrast, we do not know a single example of a K3 surface X/K with geometric Picard number 1 which can be shown to have potential density of rational points; nor is there an example which we can show not to have potential density of rational points. In fact, the situation is even worse; the moduli space of polarized K3 surfaces of a given degree contains a countable union of subvarieties, each parametrizing a family of K3 surfaces with geometric Picard number greater than 1. Since Q̄ is countable, it is not a priori obvious that these subvarieties don’t cover the Q̄-points of the moduli space. In other words, it is a non-trivial fact that there exists a K3 surface over any number field with geometric Picard number 1! In this note, we correct this slightly embarrassing situation by proving the following theorem:
منابع مشابه
K3 surfaces with Picard number three and canonical vector heights
In this paper we construct the first known explicit family of K3 surfaces defined over the rationals that are proved to have geometric Picard number 3. This family is dense in one of the components of the moduli space of all polarized K3 surfaces with Picard number at least 3. We also use an example from this family to fill a gap in an earlier paper by the first author. In that paper, an argume...
متن کامل2 1 Ju n 20 05 K 3 surfaces with Picard number one and infinitely many rational points Ronald
In general, not much is known about the arithmetic of K3 surfaces. Once the geometric Picard number, which is the rank of the Neron-Séveri group over an algebraic closure of the base field, is high enough, more structure is known and more can be said. However, until recently not a single K3 surface was known to have geometric Picard number one. We give explicit examples of such surfaces over th...
متن کاملm at h . A G ] 2 4 Ju n 20 05 K 3 surfaces with Picard number one and infinitely many rational points Ronald
In general, not much is known about the arithmetic of K3 surfaces. Once the geometric Picard number, which is the rank of the Néron-Severi group over an algebraic closure of the base field, is high enough, more structure is known and more can be said. However, until recently not a single K3 surface was known to have geometric Picard number one. We give explicit examples of such surfaces over th...
متن کاملEffective Computation of Picard Groups and Brauer-manin Obstructions of Degree Two K3 Surfaces over Number Fields
Using the Kuga-Satake correspondence we provide an effective algorithm for the computation of the Picard and Brauer groups of K3 surfaces of degree 2 over number fields.
متن کاملK3 Surfaces of Picard Rank One and Degree Two
Examples 1. A K3 surface of degree two is a double cover of P, ramified in a smooth sextic. K3 surfaces of degree four are smooth quartics in P. A K3 surface of degree six is a smooth complete intersection of a quadric and a cubic in P. And, finally, K3 surfaces of degree eight are smooth complete intersections of three quadrics in P. The Picard group of a K3 surface is isomorphic to Zn where n...
متن کامل